[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 2 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.40 1.00 1.00

time (sec)

N/A 0.142 0.000 2.679 0.192 0.372 0.025 0.292 0.008

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 16 14 29 13 12 29 13

N.S.

1 1.00 1.23 1.08 2.23 1.00 0.92 2.23 1.00

time (sec)

N/A 0.152 0.002 2.667 0.193 0.383 0.027 0.278 0.032

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 15 15 14 15 15

N.S.

1 1.00 1.00 1.07 1.00 1.00 0.93 1.00 1.00

time (sec)

N/A 0.143 0.001 2.278 0.189 0.351 0.058 0.290 9.594

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 27 27 31 15 29

N.S.

1 1.00 1.00 0.94 1.59 1.59 1.82 0.88 1.71

time (sec)

N/A 0.156 0.002 2.453 0.184 0.321 0.087 0.288 0.036

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 39 39 44 15 41

N.S.

1 1.00 1.00 0.94 2.29 2.29 2.59 0.88 2.41

time (sec)

N/A 0.165 0.002 2.484 0.209 0.270 0.127 0.273 9.643

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 51 51 58 15 53

N.S.

1 1.00 1.00 0.94 3.00 3.00 3.41 0.88 3.12

time (sec)

N/A 0.151 0.004 2.420 0.183 0.263 0.150 0.280 9.592

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 37 37 46 37 43

N.S.

1 1.00 1.00 0.94 2.18 2.18 2.71 2.18 2.53

time (sec)

N/A 0.157 0.001 2.415 0.211 0.265 0.043 0.285 0.048

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 26 26 29 26 24

N.S.

1 1.00 1.00 0.94 1.53 1.53 1.71 1.53 1.41

time (sec)

N/A 0.151 0.001 2.407 0.197 0.276 0.041 0.269 0.036

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 14 15 15 15 15 13

N.S.

1 1.00 0.94 0.82 0.88 0.88 0.88 0.88 0.76

time (sec)

N/A 0.153 0.001 2.396 0.212 0.276 0.039 0.284 0.025

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 3 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.149 0.000 2.805 0.192 0.251 0.036 0.293 0.008

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 13 13 17 128 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.31 9.85 1.00

time (sec)

N/A 0.152 0.001 2.419 0.203 0.408 0.034 0.286 0.034

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 19 19 17 15 19

N.S.

1 1.00 1.00 1.07 1.27 1.27 1.13 1.00 1.27

time (sec)

N/A 0.154 0.002 2.479 0.189 0.389 0.068 0.280 0.035

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 30 33 36 29 35

N.S.

1 1.00 1.00 0.94 1.76 1.94 2.12 1.71 2.06

time (sec)

N/A 0.153 0.001 2.458 0.193 0.373 0.094 0.276 0.040

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 47 47 51 15 49

N.S.

1 1.00 1.00 0.94 2.76 2.76 3.00 0.88 2.88

time (sec)

N/A 0.146 0.001 2.415 0.189 0.359 0.119 0.269 0.040

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 61 61 66 15 63

N.S.

1 1.00 1.00 0.94 3.59 3.59 3.88 0.88 3.71

time (sec)

N/A 0.150 0.002 2.580 0.208 0.558 0.152 0.281 0.055

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 75 75 82 15 77

N.S.

1 1.00 1.00 0.94 4.41 4.41 4.82 0.88 4.53

time (sec)

N/A 0.146 0.004 2.643 0.189 0.295 0.197 0.281 9.629

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 37 37 46 37 43

N.S.

1 1.00 1.00 0.94 2.18 2.18 2.71 2.18 2.53

time (sec)

N/A 0.154 0.001 2.662 0.188 0.293 0.051 0.278 0.049

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 26 26 29 26 24

N.S.

1 1.00 1.00 0.94 1.53 1.53 1.71 1.53 1.41

time (sec)

N/A 0.157 0.001 2.989 0.192 0.279 0.053 0.275 0.037

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 16 14 15 15 15 15 13

N.S.

1 1.00 0.94 0.82 0.88 0.88 0.88 0.88 0.76

time (sec)

N/A 0.162 0.001 2.912 0.206 0.360 0.044 0.293 0.025

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 6 5 5 3 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.141 0.001 2.607 0.190 0.318 0.039 0.278 0.008

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 13 13 17 14 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.31 1.08 1.00

time (sec)

N/A 0.151 0.001 2.390 0.218 0.285 0.047 0.283 9.564

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 19 19 17 15 19

N.S.

1 1.00 1.00 1.07 1.27 1.27 1.13 1.00 1.27

time (sec)

N/A 0.149 0.002 2.356 0.201 0.364 0.075 0.270 9.689

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 33 33 36 26 35

N.S.

1 1.00 1.00 0.94 1.94 1.94 2.12 1.53 2.06

time (sec)

N/A 0.149 0.002 2.493 0.202 0.348 0.098 0.280 9.782

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 47 47 51 15 49

N.S.

1 1.00 1.00 0.94 2.76 2.76 3.00 0.88 2.88

time (sec)

N/A 0.151 0.002 2.430 0.192 0.336 0.125 0.271 9.780

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 30 61 66 29 63

N.S.

1 1.00 1.00 0.94 1.76 3.59 3.88 1.71 3.71

time (sec)

N/A 0.148 0.002 2.450 0.198 0.324 0.175 0.273 0.054

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 75 75 82 15 77

N.S.

1 1.00 1.00 0.94 4.41 4.41 4.82 0.88 4.53

time (sec)

N/A 0.143 0.002 2.739 0.193 0.350 0.184 0.268 9.674

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 89 89 97 15 91

N.S.

1 1.00 1.00 0.94 5.24 5.24 5.71 0.88 5.35

time (sec)

N/A 0.151 0.004 2.758 0.203 0.377 0.211 0.271 9.717

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 103 103 112 15 105

N.S.

1 1.00 1.00 0.94 6.06 6.06 6.59 0.88 6.18

time (sec)

N/A 0.154 0.004 2.468 0.210 0.284 0.240 0.269 0.068

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 24 0 74 187 21 239

N.S.

1 1.00 0.79 0.71 0.00 2.18 5.50 0.62 7.03

time (sec)

N/A 0.166 0.012 2.441 0.000 0.285 0.139 0.274 10.319

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 38 28 24 0 63 160 21 76

N.S.

1 0.97 0.72 0.62 0.00 1.62 4.10 0.54 1.95

time (sec)

N/A 0.173 0.015 2.443 0.000 0.278 0.803 0.279 10.178

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 24 30 52 107 21 34

N.S.

1 1.00 0.68 0.71 0.88 1.53 3.15 0.62 1.00

time (sec)

N/A 0.160 0.009 2.302 0.208 0.369 0.094 0.265 10.035

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 31 40 0 41 71 36 33

N.S.

1 1.00 0.86 1.11 0.00 1.14 1.97 1.00 0.92

time (sec)

N/A 0.162 0.014 2.276 0.000 0.260 0.358 0.277 9.941

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 17 16 0 31 37 24 15

N.S.

1 1.00 0.61 0.57 0.00 1.11 1.32 0.86 0.54

time (sec)

N/A 0.166 0.032 2.866 0.000 0.270 0.744 0.270 10.044

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 41 29 29 0 40 0 20 0

N.S.

1 1.02 0.72 0.72 0.00 1.00 0.00 0.50 0.00

time (sec)

N/A 0.175 0.008 2.970 0.000 0.386 0.000 0.288 0.000

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 19 18 0 46 0 21 34

N.S.

1 1.00 0.63 0.60 0.00 1.53 0.00 0.70 1.13

time (sec)

N/A 0.164 0.007 2.372 0.000 0.379 0.000 0.288 9.958

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 38 27 24 0 57 0 21 34

N.S.

1 0.97 0.69 0.62 0.00 1.46 0.00 0.54 0.87

time (sec)

N/A 0.171 0.006 2.551 0.000 0.348 0.000 0.274 9.936

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 24 0 68 0 21 34

N.S.

1 1.00 0.79 0.71 0.00 2.00 0.00 0.62 1.00

time (sec)

N/A 0.174 0.006 2.406 0.000 0.357 0.000 0.282 9.683

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 38 27 24 0 79 0 21 34

N.S.

1 0.93 0.66 0.59 0.00 1.93 0.00 0.51 0.83

time (sec)

N/A 0.171 0.007 2.695 0.000 0.645 0.000 0.290 9.669

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 25 0 103 277 133 0

N.S.

1 1.00 0.79 0.74 0.00 3.03 8.15 3.91 0.00

time (sec)

N/A 0.166 0.018 2.247 0.000 0.276 0.291 0.279 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 28 25 0 91 197 90 0

N.S.

1 1.00 0.72 0.64 0.00 2.33 5.05 2.31 0.00

time (sec)

N/A 0.178 0.025 2.254 0.000 0.275 0.899 0.286 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 25 30 79 194 97 34

N.S.

1 1.00 0.68 0.74 0.88 2.32 5.71 2.85 1.00

time (sec)

N/A 0.160 0.014 2.549 0.195 0.266 0.171 0.290 9.901

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 39 25 25 0 67 366 63 36

N.S.

1 1.08 0.69 0.69 0.00 1.86 10.17 1.75 1.00

time (sec)

N/A 0.162 0.002 2.736 0.000 0.277 0.926 0.290 9.793

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 25 27 55 39 51 16

N.S.

1 1.00 0.65 0.81 0.87 1.77 1.26 1.65 0.52

time (sec)

N/A 0.164 0.003 2.433 0.203 0.288 1.167 0.288 9.889

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 33 40 0 43 73 43 0

N.S.

1 1.00 0.89 1.08 0.00 1.16 1.97 1.16 0.00

time (sec)

N/A 0.168 0.003 2.690 0.000 0.284 1.073 0.284 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 18 17 0 32 39 26 0

N.S.

1 1.00 0.62 0.59 0.00 1.10 1.34 0.90 0.00

time (sec)

N/A 0.161 0.042 2.486 0.000 0.265 1.476 0.291 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 30 0 41 0 20 0

N.S.

1 1.00 0.74 0.71 0.00 0.98 0.00 0.48 0.00

time (sec)

N/A 0.171 0.006 2.520 0.000 0.275 0.000 0.275 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 25 25 0 47 0 21 35

N.S.

1 1.00 0.78 0.78 0.00 1.47 0.00 0.66 1.09

time (sec)

N/A 0.163 0.009 2.638 0.000 0.390 0.000 0.282 9.416

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 39 27 25 0 58 0 21 35

N.S.

1 0.95 0.66 0.61 0.00 1.41 0.00 0.51 0.85

time (sec)

N/A 0.171 0.008 2.875 0.000 0.364 0.000 0.282 9.728

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 25 0 69 0 21 35

N.S.

1 1.00 0.79 0.74 0.00 2.03 0.00 0.62 1.03

time (sec)

N/A 0.168 0.008 2.777 0.000 0.412 0.000 0.274 9.725

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 27 0 145 374 189 0

N.S.

1 1.00 0.79 0.79 0.00 4.26 11.00 5.56 0.00

time (sec)

N/A 0.163 0.027 3.185 0.000 0.377 0.491 0.266 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 41 28 27 0 131 241 127 0

N.S.

1 1.05 0.72 0.69 0.00 3.36 6.18 3.26 0.00

time (sec)

N/A 0.178 0.021 2.703 0.000 0.639 0.967 0.280 0.000

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 27 30 117 287 149 19

N.S.

1 1.00 0.68 0.79 0.88 3.44 8.44 4.38 0.56

time (sec)

N/A 0.160 0.020 2.561 0.196 0.304 0.358 0.274 9.974

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 41 25 27 0 103 828 98 36

N.S.

1 1.14 0.69 0.75 0.00 2.86 23.00 2.72 1.00

time (sec)

N/A 0.158 0.002 2.557 0.000 0.271 1.475 0.276 9.690

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 27 27 89 39 87 16

N.S.

1 1.00 0.65 0.87 0.87 2.87 1.26 2.81 0.52

time (sec)

N/A 0.167 0.006 2.687 0.200 0.268 1.652 0.269 9.702

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 41 26 27 35 75 371 89 0

N.S.

1 1.11 0.70 0.73 0.95 2.03 10.03 2.41 0.00

time (sec)

N/A 0.172 0.005 2.896 0.198 0.272 1.677 0.280 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 27 0 61 201 69 0

N.S.

1 1.00 0.66 0.84 0.00 1.91 6.28 2.16 0.00

time (sec)

N/A 0.162 0.003 2.957 0.000 0.275 2.077 0.291 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 33 40 0 47 75 49 0

N.S.

1 1.00 0.85 1.03 0.00 1.21 1.92 1.26 0.00

time (sec)

N/A 0.173 0.003 3.216 0.000 0.287 2.225 0.281 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 19 0 34 41 30 0

N.S.

1 1.00 0.65 0.61 0.00 1.10 1.32 0.97 0.00

time (sec)

N/A 0.163 0.005 2.590 0.000 0.290 2.771 0.275 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 44 31 32 0 43 0 20 0

N.S.

1 1.05 0.74 0.76 0.00 1.02 0.00 0.48 0.00

time (sec)

N/A 0.175 0.004 2.939 0.000 0.405 0.000 0.287 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 25 27 0 49 0 21 37

N.S.

1 1.00 0.78 0.84 0.00 1.53 0.00 0.66 1.16

time (sec)

N/A 0.161 0.013 2.922 0.000 0.367 0.000 0.288 9.636

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 27 27 0 60 0 21 37

N.S.

1 1.00 0.66 0.66 0.00 1.46 0.00 0.51 0.90

time (sec)

N/A 0.172 0.010 3.580 0.000 0.341 0.000 0.280 9.738

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 38 27 24 182 66 219 57 0

N.S.

1 0.97 0.69 0.62 4.67 1.69 5.62 1.46 0.00

time (sec)

N/A 0.162 0.011 2.561 0.212 0.425 0.908 0.287 0.000

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 27 24 146 55 114 43 0

N.S.

1 1.00 0.79 0.71 4.29 1.62 3.35 1.26 0.00

time (sec)

N/A 0.157 0.007 2.776 0.231 0.344 0.209 0.283 0.000

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 38 30 38 109 44 138 23 0

N.S.

1 0.97 0.77 0.97 2.79 1.13 3.54 0.59 0.00

time (sec)

N/A 0.162 0.004 2.978 0.201 0.284 0.791 0.276 0.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 19 29 34 39 13 109

N.S.

1 1.00 0.65 0.61 0.94 1.10 1.26 0.42 3.52

time (sec)

N/A 0.153 0.004 2.461 0.189 0.290 0.169 0.273 10.122

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 28 27 18 42 26 34 29

N.S.

1 1.00 0.72 0.69 0.46 1.08 0.67 0.87 0.74

time (sec)

N/A 0.153 0.002 2.314 0.197 0.278 0.352 0.284 9.680

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 18 17 19 49 41 23 27

N.S.

1 1.00 0.62 0.59 0.66 1.69 1.41 0.79 0.93

time (sec)

N/A 0.157 0.010 2.430 0.193 0.269 1.214 0.274 9.707

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 26 24 33 61 0 23 37

N.S.

1 1.00 0.68 0.63 0.87 1.61 0.00 0.61 0.97

time (sec)

N/A 0.165 0.010 2.558 0.194 0.270 0.000 0.288 9.752

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 24 47 73 0 23 37

N.S.

1 1.00 0.66 0.75 1.47 2.28 0.00 0.72 1.16

time (sec)

N/A 0.159 0.013 2.487 0.199 0.266 0.000 0.265 9.755

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 38 27 24 61 85 0 23 37

N.S.

1 0.97 0.69 0.62 1.56 2.18 0.00 0.59 0.95

time (sec)

N/A 0.165 0.010 2.967 0.205 0.278 0.000 0.284 9.783

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 41 33 40 99 48 223 23 0

N.S.

1 1.05 0.85 1.03 2.54 1.23 5.72 0.59 0.00

time (sec)

N/A 0.171 0.005 3.206 0.204 0.375 2.538 0.283 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 19 64 38 42 13 0

N.S.

1 1.00 0.65 0.61 2.06 1.23 1.35 0.42 0.00

time (sec)

N/A 0.158 0.035 2.503 0.192 0.379 0.230 0.282 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 30 123 46 27 22 0

N.S.

1 1.00 0.74 0.71 2.93 1.10 0.64 0.52 0.00

time (sec)

N/A 0.162 0.003 2.593 0.196 0.369 1.832 0.282 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 20 30 55 42 23 37

N.S.

1 1.00 0.66 0.62 0.94 1.72 1.31 0.72 1.16

time (sec)

N/A 0.152 0.007 2.379 0.201 0.347 0.205 0.284 10.051

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 25 27 18 69 0 23 37

N.S.

1 1.00 0.61 0.66 0.44 1.68 0.00 0.56 0.90

time (sec)

N/A 0.152 0.002 2.465 0.197 0.335 0.000 0.281 9.929

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 27 47 83 42 23 37

N.S.

1 1.00 0.65 0.87 1.52 2.68 1.35 0.74 1.19

time (sec)

N/A 0.163 0.019 2.501 0.202 0.286 1.738 0.279 9.776

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 41 26 27 61 97 0 23 37

N.S.

1 1.08 0.68 0.71 1.61 2.55 0.00 0.61 0.97

time (sec)

N/A 0.173 0.017 2.498 0.187 0.287 0.000 0.279 9.930

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 27 75 111 0 23 37

N.S.

1 1.00 0.66 0.84 2.34 3.47 0.00 0.72 1.16

time (sec)

N/A 0.158 0.026 2.665 0.194 0.283 0.000 0.275 9.805

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 41 33 40 232 48 224 23 0

N.S.

1 1.05 0.85 1.03 5.95 1.23 5.74 0.59 0.00

time (sec)

N/A 0.167 0.005 3.301 0.214 0.364 4.714 0.282 0.000

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 22 197 38 42 13 0

N.S.

1 1.00 0.65 0.71 6.35 1.23 1.35 0.42 0.00

time (sec)

N/A 0.158 0.004 2.519 0.200 0.297 0.341 0.286 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 30 449 46 29 22 0

N.S.

1 1.00 0.74 0.71 10.69 1.10 0.69 0.52 0.00

time (sec)

N/A 0.179 0.005 2.696 0.240 0.308 3.542 0.276 0.000

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 20 159 55 70 23 37

N.S.

1 1.00 0.66 0.62 4.97 1.72 2.19 0.72 1.16

time (sec)

N/A 0.164 0.011 2.508 0.204 0.291 0.317 0.277 10.000

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 28 27 124 69 0 23 37

N.S.

1 1.00 0.68 0.66 3.02 1.68 0.00 0.56 0.90

time (sec)

N/A 0.164 0.007 2.586 0.189 0.366 0.000 0.291 9.909

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 30 27 30 83 124 23 37

N.S.

1 1.00 0.88 0.79 0.88 2.44 3.65 0.68 1.09

time (sec)

N/A 0.153 0.008 2.393 0.200 0.330 0.439 0.292 9.732

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 25 27 18 97 0 23 37

N.S.

1 1.00 0.61 0.66 0.44 2.37 0.00 0.56 0.90

time (sec)

N/A 0.160 0.002 2.683 0.190 0.349 0.000 0.296 9.808

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 27 75 111 42 23 37

N.S.

1 1.00 0.65 0.87 2.42 3.58 1.35 0.74 1.19

time (sec)

N/A 0.168 0.029 2.815 0.194 0.350 2.343 0.281 9.823

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 41 26 27 89 125 0 23 37

N.S.

1 1.08 0.68 0.71 2.34 3.29 0.00 0.61 0.97

time (sec)

N/A 0.165 0.016 2.274 0.209 0.523 0.000 0.278 9.904

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 27 103 139 0 23 37

N.S.

1 1.00 0.66 0.84 3.22 4.34 0.00 0.72 1.16

time (sec)

N/A 0.158 0.028 2.600 0.187 0.294 0.000 0.294 9.900

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 40 397 85 185 120 106

N.S.

1 1.00 1.00 1.90 18.90 4.05 8.81 5.71 5.05

time (sec)

N/A 0.155 0.007 2.622 0.205 0.301 0.548 0.292 9.718

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 36 137 49 116 70 60

N.S.

1 1.00 1.00 1.89 7.21 2.58 6.11 3.68 3.16

time (sec)

N/A 0.154 0.007 2.282 0.206 0.283 0.330 0.284 9.667

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 21 22 27 36 56 0 28

N.S.

1 1.00 0.88 0.92 1.12 1.50 2.33 0.00 1.17

time (sec)

N/A 0.169 0.008 2.420 0.198 0.310 0.352 0.000 9.708

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 21 27 65 100 136 0 50

N.S.

1 1.00 0.88 1.12 2.71 4.17 5.67 0.00 2.08

time (sec)

N/A 0.158 0.009 3.007 0.216 0.387 0.804 0.000 9.711

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 21 27 99 156 201 0 72

N.S.

1 1.00 0.88 1.12 4.12 6.50 8.38 0.00 3.00

time (sec)

N/A 0.171 0.009 2.756 0.214 0.379 1.785 0.000 9.808

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 43 31 41 70 71 0 133 0

N.S.

1 1.02 0.74 0.98 1.67 1.69 0.00 3.17 0.00

time (sec)

N/A 0.180 0.020 2.536 0.206 0.409 0.000 0.287 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 41 42 44 0 27 0

N.S.

1 1.00 0.74 0.98 1.00 1.05 0.00 0.64 0.00

time (sec)

N/A 0.177 0.010 2.336 0.211 0.341 0.000 0.280 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 29 31 17 45 0 25 48

N.S.

1 1.00 0.72 0.78 0.42 1.12 0.00 0.62 1.20

time (sec)

N/A 0.175 0.010 2.294 0.220 0.289 0.000 0.283 9.662

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 48 31 38 51 122 0 0 0

N.S.

1 1.07 0.69 0.84 1.13 2.71 0.00 0.00 0.00

time (sec)

N/A 0.182 0.016 2.468 0.217 0.272 0.000 0.000 0.000

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 32 44 43 39 0 62 43

N.S.

1 1.00 0.74 1.02 1.00 0.91 0.00 1.44 1.00

time (sec)

N/A 0.184 0.014 2.475 0.201 0.282 0.000 0.304 9.769

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 33 44 29 30 0 63 43

N.S.

1 1.00 0.75 1.00 0.66 0.68 0.00 1.43 0.98

time (sec)

N/A 0.185 0.012 2.949 0.201 0.394 0.000 0.290 9.819

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 40 313 71 233 57 90

N.S.

1 1.00 0.74 1.03 8.03 1.82 5.97 1.46 2.31

time (sec)

N/A 0.174 0.008 2.533 0.215 0.339 0.386 0.282 9.897

[next] [prev] [prev-tail] [front] [up]